The Future of Typing